Hyperbolicity of monoids presented by confluent monadic rewriting systems
نویسندگان
چکیده
The geometry of the Cayley graphs of monoids defined by regular confluent monadic rewriting systems is studied. Using geometric and combinatorial arguments, these Cayley graphs are proved to be hyperbolic, and the monoids to be word-hyperbolic in the Duncan–Gilman sense. The hyperbolic boundary of the Cayley graph is described in the case of finite confluent monadic rewriting systems.
منابع مشابه
On Monoids Presented by Rewriting Systems and Automatic Structures for Their Submonoids
Generalizing results of Otto & Ruškuc, this paper shows that every finitely generated submonoid of a monoid presented by a confluent finite special rewriting system admits an automatic structure that is simultaneously rr-, `r-, r`-, and ``-automatic; and that every finitely generated submonoid of a monoid presented by a confluent regular monadic rewriting system admits an automatic structure th...
متن کاملMonoids Presented by Rewriting Systems and Automatic Structures for their Submonoids
This paper studies rr-, lr-, rl-, and ll-automatic structures for finitely generated submonoids of monoids presented by confluent rewriting system that are either finite and special or regular andmonadic. A new technique is developed that uses an automaton to ‘translate’ betweenwords in the original rewriting system andwords over the generators for the submonoid. This is applied to show that th...
متن کاملRational subsets of partially reversible monoids
A class of monoids that can model partial reversibility allowing simultaneously instances of two-sided reversibility, one-sided reversibility and no reversibility is considered. Some of the basic decidability problems involving their rational subsets, syntactic congruences and characterization of recognizability, are solved. Recognizability of rational subsets is also proved to be decidable for...
متن کاملOn Weakly Confluent Monadic String-Rewriting Systems
Madlener, K., P. Narendran, F. Otto and L. Zhang, On weakly confluent monadic string-rewriting systems, Theoretical Computer Science 113 (1993) 119-165. It is investigated as to how far the various decidability results for finite, monadic, and confluent string-rewriting systems can be carried over to the class of finite monadic string-rewriting systems that are only weakly confluent. Here a mon...
متن کاملContext-Free Rewriting Systems and Word-hyperbolic Structures with uniqueness
This paper proves that any monoid presented by a confluent context-free monadic rewriting system is word-hyperbolic. This result then applied to answer a question asked by Duncan&Gilman by exhibiting an example of a word-hyperbolic monoid that does not admit a word-hyperbolic structure with uniqueness (that is, in which the language of representatives maps bijectively onto the monoid).
متن کامل